1.
Author: ادیب سلطانی ،میرشمس الدین ،- 1310
Library: (13Aban Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
Subject: ،منطق ریاضی، ,،گودل ? قضیه،
Classification :
511
/3
الف
348
پ
1373
2. Topics in decision problem being an investigation there of in the domains of the first ...
Author: /a monograph by M. S. Adib-SoltÀni .,ادیب سلطانی,Adib Soltani
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
3. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
Library: Library of Kowsar University of Qom (Qom)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
4. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Publishing Library of Samt (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
5. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Iranology Foundation Library (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
6. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست
Library: Central Library and Documentation Center (Kerman)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴
7. برهان گودل و حقیقت و برهان
Author: / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
8. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
Library: (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
9. برهان گودل و حقیقت و برهان
Author: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
10. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
11. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
Library: Central library and information center (Khorasan Razavi)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
12. برهان گودل و حقیقت و برهان
Author: / نویسندگان : ارنست ناگل، ج.نیومن آلفرد تارسکی,ناگل ,Nagel
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA9
.
65
.
N3
13. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
Library: Library and National Museum of Malek (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
14. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Sheikh Bahai Library (Khorasan Razavi)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
15. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل ، ارنست، ۱۹۰۱- م.
موضوع : گودل، قضیه,منطق ریاضی
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
16. برهان گودل و حقيقت و برهان
Author: /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
Library: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
Subject: گودل ، قضيه,منطق رياضي
Classification :
۵۱۱
/
۳
ن
۲۱۸
ب
17. پژوهشی در پیرامون مسئله تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنایی
Author: نوشته میرشمسالدین ادیب سلطانی
Library: Imam Sadeq Library (Qazvin)
Subject: منطق ریاضی,گودل، قضیه
Classification :
BC
۱۳۵
/
الف
۴،
پ
۴
18. پژوهشی در پیرامون مسئله تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
Author: ادیب سلطانی، میر شمسالدین
Library: Library of Kowsar University of Qom (Qom)
Subject: منطق ریاضی,گودل، قضیه
Classification :
BC
۱۳۵
/
الف
۴
پ
۴
19. پژوهشي در پيرامون مسئله تصميم در منطق طرح چند خوارزميک تحليلي - معنايي
Author: /نوشته مير شمس الدين اديب سلطاني,اديب سلطاني ، مير شمس الدين ، ۱۳۱۰ -
Library: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
Subject: منطق رياضي,گودل ، قضيه
Classification :
۵۱۱
/
۳
الف
۳۴۸
پ
20. پژوهشی در پیرامون مسئله ی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
Author: ادیب سلطانی ،میرشمس الدین ،1310 - ,نوشته میرشمس الدین ادیب سلطانی
Library: (Baharan Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
Subject: ،منطق ریاضی، ,،گودل ? قضیه،
Classification :
511
/3
الف
349
پ